1. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann
موضوع : ، Proof theory,، Number theory,، Predicate calculus
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Proof theory,، Number theory,، Predicate calculus
رده :
QA
1
.
L4
v
.
447
3. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann, 0491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Number theory,، Predicate calculus
رده :
QA
3
.
L28
Vol
.
447
